a24fcb25eff21920d3e2785d7bad040e7f9a2bc4,src/com/vaadin/terminal/gwt/client/MeasuredSize.java,MeasuredSize,measure,#,177

Before Change


        ComputedStyle computedStyle = new ComputedStyle(widget.getElement());

        int[] paddings = computedStyle.getPadding();
        if (!changed && !Arrays.equals(this.paddings, paddings)) {
            changed = true;
            this.paddings = paddings;
        }

After Change


        ComputedStyle computedStyle = new ComputedStyle(widget.getElement());

        int[] paddings = computedStyle.getPadding();
        if (!heightChanged && hasHeightChanged(this.paddings, paddings)) {
            heightChanged = true;
        }
        if (!widthChanged && hasWidthChanged(this.paddings, paddings)) {
            widthChanged = true;
        }
        this.paddings = paddings;

        int[] margins = computedStyle.getMargin();
        if (!heightChanged && hasHeightChanged(this.margins, margins)) {
            heightChanged = true;
        }
        if (!widthChanged && hasWidthChanged(this.margins, margins)) {
            widthChanged = true;
        }
        this.margins = margins;

        int[] borders = computedStyle.getBorder();
        if (!heightChanged && hasHeightChanged(this.borders, borders)) {
            heightChanged = true;
        }
        if (!widthChanged && hasWidthChanged(this.borders, borders)) {
            widthChanged = true;
        }
        this.borders = borders;